Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Gilles Dowek And NotNouvelle-Aquitaine

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
001067 Gilles Dowek [France] ; Jean-Pierre Archambault [France] ; Emmanuel Baccelli [France] ; Claudio Cimellli [France] ; Albert Cohen [France] ; Christine Eisenbeis [France] ; Thierry Viéville [France] ; Benjamin Wack [France] ; Hugues Bersini ; Guillaume Le BlancInformatique et sciences du numérique : Édition spéciale Python
002E61 Olivier Bournez [France] ; Gilles Dowek [France] ; Rémi Gilleron [France] ; Serge Grigorieff [France] ; Jean-Yves Marion [France] ; Simon Perdrix [France] ; Sophie Tison [France]Décidabilité et Complexité
004C71 Denis Cousineau [France] ; Gilles Dowek [États-Unis]Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
004E56 Paul Brauner [France] ; Gilles Dowek [France] ; Benjamin Wack [France]Normalization in Supernatural deduction and in Deduction modulo
007472 Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
007981 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo
007D38 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo Revised Version
007F46 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: proofs and models
008599 Gilles Dowek ; Thérèse Hardin ; Claude KirchnerBinding Logic : proofs and models
008832 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: Proofs and Models
009197 Gilles Dowek [France] ; Therese Hardin [France] ; Claude Kirchner [France]HOL-λσ: an intentional first-order expression of higher-order logic
009E84 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
009F30 Gilles Dowek [France]Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
00A350 Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France]HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic
00A733 Gilles Dowek ; Thérèse Hardin ; Claude KirchnerHOL-λ σ an intentional first-order expression of higher-order logic
00A992 Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
00B550 Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] ; Frank PfenningUnification via Explicit Substitutions: The Case of Higher-Order Patterns
00B557 Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France]Theorem Proving Modulo
00B641 Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France]Holls: an Intentional First-Order Expression of Higher-Order Logic
00C833 Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022